Publications of
Gregory Claude, Marc Boyer, Gaël Durand, Florence Sèdes
A Framework to Manage Knowledge from Defect Resolution Process (regular paper)
In : IEEE Conference on Commerce and Enterprise Computing (IEEE CEC 2011), Luxembourg, 05/09/11-07/09/11, Birgit Hofreiter, Eric Dubois, Kwei-Jay Lin, Thomas Setzer, Claude Godart (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 10-17, 2011.
Tightening end to end delay upper bound for AFDX network calculus with rate latency FCFS servers using network calculus (regular paper)
In : IEEE International Workshop on Factory Communication Systems (WFCS 2008), Dresden, Germany, 20/05/08-23/05/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 11-20, May 2008.
Marc Boyer, Olivier Henri Roux
Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets
In : International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ATPN 2007), Siedlce, Poland, 25/06/07-29/06/07, Jetty Kleijn, Alex Yakovlev (Eds.), Springer-Verlag, LNCS, pp. 63-82, June 2007 (Best Paper award).
Tarek Sadani, Marc Boyer, Pierre De Saqui-Sannes, Jean-Pierre Courtiat
Mapping RT-LOTOS Specifications into Time Petri Nets
In : International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, 29/10/06-03/11/06, Vol. 4260, Springer, LNCS, pp. 360-379, November 2006.
Tarek Sadani, Marc Boyer, Pierre De Saqui-Sannes, Jean-Pierre Courtiat
Effective representation of RT-LOTOS terms by finite time Petri nets
In : International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006), Paris, France, 26/09/06-29/09/06, Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (Eds.), Springer, Lecture Notes in Computer Science 4229, pp. 404-419, September 2006.
Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul
Interconnecting CAN busses via an Ethernet backbone
In : IFAC International Conference on Fieldbus Systems and their Applications, Puebla (Mexico), 14/11/05-15/11/05, ., November 2005.
Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul
TTCAN over mixed CAN/Switched Ethernet architecture
In : IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, 19/09/05-22/09/05, IEEE Computer Press, pp. 665-668, September 2005.
Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul
CAN-Ethernet Architectures for Real-Time Applications
In : IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, Italy, 19/09/05-22/09/05, IEEE Computer Press, pp. 245-252, September 2005.
Marc Boyer, Jean-Christophe Pince
Model-Checking aléatoire: une approche entre test et vérification
In : 11ème journée de Formalisation des Activités Concurrentes, Toulouse, 09/03/04-10/03/04.
Abstract URL : http://www.enseeiht.fr/~boyer/ToDownLoad/MC-aleatoire-FAC-2004.ps
BibTeXMarc Boyer, Mihaela Sighireanu
Synthesis and verification of constraints in the PGM protocol
In : 12th International Formal Methods Europe Symposium (FM’03), Pisa (Italy), 08/09/03-13/09/03, Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.), Springer, pp. 264-281, September 2003.
Gregory Claude, Marc Boyer, Gaël Durand, Florence Sèdes
From Simple Management of Defects to Knowledge Discovery to Optimize Maintenance
In : Recent Trends in Information Reuse and Integration. Tansel Özyer, Keivan Kianmehr, Mehmet Tan (Eds.) , Springer-Verlag, pp. 115-141, 2012.